Skip to content

Chore deps #23

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
duncdrum merged 4 commits into from
Jan 21, 2026
Merged

Chore deps #23

duncdrum merged 4 commits into from
Jan 21, 2026
+2,603 −2,985

Conversation

@duncdrum
Copy link
Contributor

@duncdrum duncdrum commented Jan 20, 2026 •
edited
Loading

close #21 #22

@duncdrum duncdrum requested a review from windauer January 20, 2026 13:09
@duncdrum duncdrum added dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code labels Jan 20, 2026
@duncdrum duncdrum merged commit 190634f into master Jan 21, 2026
3 checks passed
@duncdrum duncdrum deleted the chore-deps branch January 21, 2026 14:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@windauer windauer Awaiting requested review from windauer

Assignees

No one assigned

Labels

dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@duncdrum